Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 89 65 0 232 0 253 0

N.S.

1 1.00 1.10 0.80 0.00 2.86 0.00 3.12 0.00

time (sec)

N/A 0.216 1.127 2.439 0.000 0.268 0.000 0.443 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 193 233 0 353 0 647 0

N.S.

1 1.00 0.96 1.16 0.00 1.76 0.00 3.24 0.00

time (sec)

N/A 0.384 11.554 2.968 0.000 0.279 0.000 0.389 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 444 354 0 430 0 730 0

N.S.

1 1.00 2.04 1.62 0.00 1.97 0.00 3.35 0.00

time (sec)

N/A 0.393 11.747 3.461 0.000 0.289 0.000 0.429 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 434 434 0 505 0 778 0

N.S.

1 1.00 1.93 1.93 0.00 2.24 0.00 3.46 0.00

time (sec)

N/A 0.373 12.106 3.984 0.000 0.285 0.000 0.449 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 422 524 0 554 0 719 0

N.S.

1 1.00 1.94 2.41 0.00 2.55 0.00 3.31 0.00

time (sec)

N/A 0.374 12.664 4.362 0.000 0.287 0.000 0.522 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 355 432 0 633 0 928 0

N.S.

1 1.00 1.64 1.99 0.00 2.92 0.00 4.28 0.00

time (sec)

N/A 0.386 13.414 4.518 0.000 0.296 0.000 0.492 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 409 526 0 760 0 990 0

N.S.

1 1.00 1.54 1.98 0.00 2.86 0.00 3.72 0.00

time (sec)

N/A 0.414 15.203 5.053 0.000 0.290 0.000 0.562 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 157 111 478 115 0 777 0

N.S.

1 1.00 0.78 0.56 2.39 0.58 0.00 3.88 0.00

time (sec)

N/A 0.268 14.124 3.194 0.344 0.275 0.000 0.515 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 134 95 386 95 0 573 0

N.S.

1 1.00 0.84 0.60 2.43 0.60 0.00 3.60 0.00

time (sec)

N/A 0.241 11.898 3.150 0.322 0.254 0.000 0.443 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 113 73 294 67 0 353 0

N.S.

1 1.00 0.96 0.62 2.49 0.57 0.00 2.99 0.00

time (sec)

N/A 0.221 9.755 0.826 0.331 0.262 0.000 0.420 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 44 53 174 44 0 175 128

N.S.

1 1.00 0.60 0.73 2.38 0.60 0.00 2.40 1.75

time (sec)

N/A 0.200 1.632 0.648 0.313 0.246 0.000 0.351 15.139

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 140 130 0 162 0 148 0

N.S.

1 1.00 1.54 1.43 0.00 1.78 0.00 1.63 0.00

time (sec)

N/A 0.208 1.353 0.875 0.000 0.281 0.000 0.348 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 284 225 0 231 0 405 0

N.S.

1 1.00 2.09 1.65 0.00 1.70 0.00 2.98 0.00

time (sec)

N/A 0.244 1.682 0.832 0.000 0.264 0.000 0.358 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 404 350 0 282 0 504 0

N.S.

1 1.00 2.24 1.94 0.00 1.57 0.00 2.80 0.00

time (sec)

N/A 0.293 2.038 1.014 0.000 0.270 0.000 0.618 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 176 143 762 153 0 978 0

N.S.

1 1.00 0.73 0.59 3.15 0.63 0.00 4.04 0.00

time (sec)

N/A 0.485 12.204 20.203 0.335 0.272 0.000 0.836 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 159 121 670 133 0 774 0

N.S.

1 1.00 0.79 0.60 3.33 0.66 0.00 3.85 0.00

time (sec)

N/A 0.399 8.236 20.181 0.339 0.263 0.000 0.747 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 130 105 577 110 0 293 0

N.S.

1 1.00 0.84 0.68 3.75 0.71 0.00 1.90 0.00

time (sec)

N/A 0.339 7.308 19.675 0.329 0.273 0.000 0.611 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 113 81 482 80 0 283 492

N.S.

1 1.00 0.98 0.70 4.19 0.70 0.00 2.46 4.28

time (sec)

N/A 0.287 6.740 0.796 0.351 0.251 0.000 0.545 17.888

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 87 63 343 60 0 223 137

N.S.

1 1.00 1.12 0.81 4.40 0.77 0.00 2.86 1.76

time (sec)

N/A 0.211 1.445 0.667 0.312 0.269 0.000 0.736 17.432

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 176 168 0 217 0 259 0

N.S.

1 1.00 1.30 1.24 0.00 1.61 0.00 1.92 0.00

time (sec)

N/A 0.250 1.764 0.855 0.000 0.280 0.000 0.410 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 300 280 0 206 0 499 0

N.S.

1 1.00 1.71 1.60 0.00 1.18 0.00 2.85 0.00

time (sec)

N/A 0.280 2.367 0.918 0.000 0.271 0.000 0.446 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 430 426 0 279 0 750 0

N.S.

1 1.00 1.91 1.89 0.00 1.24 0.00 3.33 0.00

time (sec)

N/A 0.346 2.807 0.918 0.000 0.279 0.000 0.574 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 176 143 945 166 0 395 0

N.S.

1 1.00 0.73 0.59 3.90 0.69 0.00 1.63 0.00

time (sec)

N/A 0.467 9.439 120.732 0.327 0.282 0.000 0.556 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 158 121 854 148 0 774 0

N.S.

1 1.00 0.76 0.58 4.09 0.71 0.00 3.70 0.00

time (sec)

N/A 0.403 8.766 121.349 0.330 0.265 0.000 0.560 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 132 105 761 125 0 449 904

N.S.

1 1.00 0.82 0.66 4.76 0.78 0.00 2.81 5.65

time (sec)

N/A 0.328 7.568 118.777 0.311 0.264 0.000 0.511 22.845

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 113 83 663 95 0 373 683

N.S.

1 1.00 0.93 0.69 5.48 0.79 0.00 3.08 5.64

time (sec)

N/A 0.284 6.828 0.687 0.310 0.262 0.000 0.449 19.599

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 89 65 505 77 0 368 479

N.S.

1 1.00 1.05 0.76 5.94 0.91 0.00 4.33 5.64

time (sec)

N/A 0.218 2.143 0.643 0.307 0.265 0.000 0.413 18.177

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 204 200 0 262 0 450 0

N.S.

1 1.00 1.17 1.15 0.00 1.51 0.00 2.59 0.00

time (sec)

N/A 0.303 2.003 0.781 0.000 0.272 0.000 0.456 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 357 308 0 277 0 650 0

N.S.

1 1.00 1.59 1.38 0.00 1.24 0.00 2.90 0.00

time (sec)

N/A 0.334 2.860 1.094 0.000 0.282 0.000 0.464 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 258 479 410 0 238 0 901 0

N.S.

1 1.00 1.86 1.59 0.00 0.92 0.00 3.49 0.00

time (sec)

N/A 0.405 3.571 0.990 0.000 0.288 0.000 0.561 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 118 131 0 140 0 150 173

N.S.

1 1.00 1.26 1.39 0.00 1.49 0.00 1.60 1.84

time (sec)

N/A 0.235 2.390 3.704 0.000 0.273 0.000 0.369 16.389

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 102 95 0 121 0 150 149

N.S.

1 1.00 1.09 1.01 0.00 1.29 0.00 1.60 1.59

time (sec)

N/A 0.241 2.106 3.587 0.000 0.273 0.000 0.380 15.011

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 84 71 0 92 0 144 122

N.S.

1 1.00 0.89 0.76 0.00 0.98 0.00 1.53 1.30

time (sec)

N/A 0.246 1.551 3.129 0.000 0.283 0.000 0.385 1.999

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 57 49 0 61 0 140 75

N.S.

1 1.00 0.62 0.53 0.00 0.66 0.00 1.52 0.82

time (sec)

N/A 0.224 0.096 2.884 0.000 0.266 0.000 0.363 1.030

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 120 300 175 0 0 141 0

N.S.

1 1.00 1.20 3.00 1.75 0.00 0.00 1.41 0.00

time (sec)

N/A 0.242 2.364 2.526 0.389 0.000 0.000 0.377 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 147 139 0 0 0 112 0

N.S.

1 1.00 1.48 1.40 0.00 0.00 0.00 1.13 0.00

time (sec)

N/A 0.266 2.570 2.761 0.000 0.000 0.000 0.375 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 101 71 0 87 0 112 0

N.S.

1 1.00 1.10 0.77 0.00 0.95 0.00 1.22 0.00

time (sec)

N/A 0.254 2.384 3.413 0.000 0.276 0.000 0.450 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 103 103 0 106 0 112 153

N.S.

1 1.00 1.10 1.10 0.00 1.13 0.00 1.19 1.63

time (sec)

N/A 0.248 3.226 3.555 0.000 0.266 0.000 0.433 18.328

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 205 135 0 148 0 247 323

N.S.

1 1.00 1.40 0.92 0.00 1.01 0.00 1.69 2.21

time (sec)

N/A 0.260 4.913 3.311 0.000 0.294 0.000 0.500 17.672

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 172 132 0 126 0 247 174

N.S.

1 1.00 1.18 0.90 0.00 0.86 0.00 1.69 1.19

time (sec)

N/A 0.257 4.539 3.198 0.000 0.284 0.000 0.497 16.597

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 99 80 0 83 0 237 103

N.S.

1 1.00 0.74 0.60 0.00 0.62 0.00 1.77 0.77

time (sec)

N/A 0.266 1.358 2.838 0.000 0.270 0.000 0.497 2.030

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 81 71 0 87 0 144 122

N.S.

1 1.00 0.84 0.74 0.00 0.91 0.00 1.50 1.27

time (sec)

N/A 0.233 1.394 3.026 0.000 0.267 0.000 0.431 14.136

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 136 424 0 0 0 243 0

N.S.

1 1.00 0.94 2.92 0.00 0.00 0.00 1.68 0.00

time (sec)

N/A 0.257 3.985 2.665 0.000 0.000 0.000 0.745 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 210 237 366 0 0 225 0

N.S.

1 1.00 1.33 1.50 2.32 0.00 0.00 1.42 0.00

time (sec)

N/A 0.273 8.556 2.676 0.330 0.000 0.000 0.398 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 198 216 0 0 0 205 0

N.S.

1 1.00 1.33 1.45 0.00 0.00 0.00 1.38 0.00

time (sec)

N/A 0.280 9.000 2.941 0.000 0.000 0.000 0.405 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 125 104 0 125 0 183 0

N.S.

1 1.00 1.30 1.08 0.00 1.30 0.00 1.91 0.00

time (sec)

N/A 0.194 9.781 3.348 0.000 0.270 0.000 0.415 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 123 127 0 134 0 183 245

N.S.

1 1.00 0.84 0.87 0.00 0.92 0.00 1.25 1.68

time (sec)

N/A 0.281 11.599 3.974 0.000 0.272 0.000 0.419 19.273

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 126 188 0 155 0 183 279

N.S.

1 1.00 0.82 1.22 0.00 1.01 0.00 1.19 1.81

time (sec)

N/A 0.263 11.913 4.242 0.000 0.282 0.000 0.407 21.015

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 223 200 0 160 0 355 383

N.S.

1 1.00 1.13 1.01 0.00 0.81 0.00 1.79 1.93

time (sec)

N/A 0.328 7.513 73.458 0.000 0.308 0.000 0.492 18.721

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 116 112 0 117 0 355 131

N.S.

1 1.00 0.64 0.62 0.00 0.65 0.00 1.97 0.73

time (sec)

N/A 0.318 2.561 72.761 0.000 0.274 0.000 0.436 16.763

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 165 132 0 119 0 341 174

N.S.

1 1.00 1.16 0.93 0.00 0.84 0.00 2.40 1.23

time (sec)

N/A 0.268 4.371 3.614 0.000 0.291 0.000 0.437 16.439

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 102 95 0 117 0 150 149

N.S.

1 1.00 1.06 0.99 0.00 1.22 0.00 1.56 1.55

time (sec)

N/A 0.235 1.861 3.399 0.000 0.274 0.000 0.427 3.030

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 177 493 0 0 0 303 0

N.S.

1 1.00 0.92 2.55 0.00 0.00 0.00 1.57 0.00

time (sec)

N/A 0.352 11.680 3.761 0.000 0.000 0.000 0.467 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 231 262 0 0 0 0 0

N.S.

1 1.00 1.10 1.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 11.768 3.568 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 207 368 506 0 0 297 0

N.S.

1 1.00 0.98 1.74 2.39 0.00 0.00 1.40 0.00

time (sec)

N/A 0.372 11.412 3.536 0.318 0.000 0.000 0.419 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 204 320 0 0 0 276 0

N.S.

1 1.00 1.04 1.63 0.00 0.00 0.00 1.41 0.00

time (sec)

N/A 0.352 11.384 4.024 0.000 0.000 0.000 0.421 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 145 150 0 165 0 268 0

N.S.

1 1.00 1.51 1.56 0.00 1.72 0.00 2.79 0.00

time (sec)

N/A 0.194 12.490 3.760 0.000 0.271 0.000 0.402 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 146 190 0 182 0 268 341

N.S.

1 1.00 1.00 1.30 0.00 1.25 0.00 1.84 2.34

time (sec)

N/A 0.269 13.159 3.471 0.000 0.275 0.000 0.439 21.066

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 144 217 0 196 0 268 357

N.S.

1 1.00 0.73 1.11 0.00 1.00 0.00 1.37 1.82

time (sec)

N/A 0.350 14.085 4.175 0.000 0.304 0.000 0.523 21.986

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 269 253 0 183 0 453 482

N.S.

1 1.00 1.08 1.01 0.00 0.73 0.00 1.81 1.93

time (sec)

N/A 0.412 11.512 74.961 0.000 0.303 0.000 0.549 19.642

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 226 138 140 0 134 0 453 384

N.S.

1 1.00 0.61 0.62 0.00 0.59 0.00 2.00 1.70

time (sec)

N/A 0.395 4.392 74.577 0.000 0.289 0.000 0.542 17.249

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 232 200 0 150 0 453 383

N.S.

1 1.00 1.21 1.04 0.00 0.78 0.00 2.36 1.99

time (sec)

N/A 0.340 5.897 75.322 0.000 0.295 0.000 0.563 17.662

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 212 135 0 142 0 247 321

N.S.

1 1.00 1.49 0.95 0.00 1.00 0.00 1.74 2.26

time (sec)

N/A 0.270 5.193 3.974 0.000 0.280 0.000 0.520 17.835

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 121 131 0 139 0 150 173

N.S.

1 1.00 1.26 1.36 0.00 1.45 0.00 1.56 1.80

time (sec)

N/A 0.245 2.107 2.992 0.000 0.278 0.000 0.431 15.871

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 239 183 549 0 0 0 469 0

N.S.

1 1.00 0.77 2.30 0.00 0.00 0.00 1.96 0.00

time (sec)

N/A 0.433 12.437 3.302 0.000 0.000 0.000 0.785 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 292 293 0 0 0 392 0

N.S.

1 1.00 1.08 1.08 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 0.459 12.864 3.754 0.000 0.000 0.000 0.464 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 251 406 0 0 0 413 0

N.S.

1 1.00 0.95 1.54 0.00 0.00 0.00 1.57 0.00

time (sec)

N/A 0.420 12.245 3.846 0.000 0.000 0.000 0.434 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 244 545 749 0 0 359 0

N.S.

1 1.00 0.92 2.06 2.84 0.00 0.00 1.36 0.00

time (sec)

N/A 0.460 12.492 4.484 0.363 0.000 0.000 0.457 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 238 409 0 0 0 338 0

N.S.

1 1.00 0.96 1.66 0.00 0.00 0.00 1.37 0.00

time (sec)

N/A 0.443 12.285 4.477 0.000 0.000 0.000 0.431 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 434 190 0 199 0 341 0

N.S.

1 1.00 4.52 1.98 0.00 2.07 0.00 3.55 0.00

time (sec)

N/A 0.201 17.068 4.772 0.000 0.297 0.000 0.418 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 442 206 0 214 0 341 406

N.S.

1 1.00 3.03 1.41 0.00 1.47 0.00 2.34 2.78

time (sec)

N/A 0.293 17.127 4.937 0.000 0.289 0.000 0.550 22.906

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 442 283 0 234 0 341 827

N.S.

1 1.00 2.19 1.40 0.00 1.16 0.00 1.69 4.09

time (sec)

N/A 0.370 17.202 4.968 0.000 0.300 0.000 0.506 25.378

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 436 309 0 243 0 341 841

N.S.

1 1.00 1.77 1.26 0.00 0.99 0.00 1.39 3.42

time (sec)

N/A 0.467 17.215 5.352 0.000 0.307 0.000 0.537 28.876

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 197 185 495 0 0 0 302 0

N.S.

1 1.00 0.94 2.51 0.00 0.00 0.00 1.53 0.00

time (sec)

N/A 0.342 11.561 4.173 0.000 0.000 0.000 0.462 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 146 426 0 0 0 247 0

N.S.

1 1.00 1.00 2.92 0.00 0.00 0.00 1.69 0.00

time (sec)

N/A 0.275 6.421 4.076 0.000 0.000 0.000 0.378 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 119 306 176 0 0 143 0

N.S.

1 1.00 1.24 3.19 1.83 0.00 0.00 1.49 0.00

time (sec)

N/A 0.252 2.144 3.391 0.362 0.000 0.000 0.385 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 83 131 0 0 0 0 0

N.S.

1 1.00 0.73 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.290 0.860 3.136 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 191 465 0 337 0 204 0

N.S.

1 1.00 1.85 4.51 0.00 3.27 0.00 1.98 0.00

time (sec)

N/A 0.197 2.334 3.121 0.000 0.293 0.000 0.357 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 222 773 0 424 0 229 0

N.S.

1 1.00 1.45 5.05 0.00 2.77 0.00 1.50 0.00

time (sec)

N/A 0.267 2.251 3.637 0.000 0.315 0.000 0.372 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 271 293 0 0 0 394 0

N.S.

1 1.00 1.00 1.08 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 0.424 12.839 2.967 0.000 0.000 0.000 0.397 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 212 262 0 0 0 253 0

N.S.

1 1.00 1.01 1.25 0.00 0.00 0.00 1.20 0.00

time (sec)

N/A 0.347 11.711 3.234 0.000 0.000 0.000 0.363 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 190 238 367 0 0 226 0

N.S.

1 1.00 1.19 1.50 2.31 0.00 0.00 1.42 0.00

time (sec)

N/A 0.283 11.327 2.781 0.320 0.000 0.000 0.359 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 143 141 0 0 0 114 0

N.S.

1 1.00 1.43 1.41 0.00 0.00 0.00 1.14 0.00

time (sec)

N/A 0.256 2.366 2.536 0.000 0.000 0.000 0.354 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 186 460 0 329 0 183 0

N.S.

1 1.00 1.81 4.47 0.00 3.19 0.00 1.78 0.00

time (sec)

N/A 0.193 2.211 2.685 0.000 0.287 0.000 0.389 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 142 111 0 272 0 0 0

N.S.

1 1.00 0.95 0.74 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.268 1.755 2.787 0.000 0.335 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 306 361 0 437 0 281 0

N.S.

1 1.00 1.41 1.66 0.00 2.01 0.00 1.29 0.00

time (sec)

N/A 0.340 2.829 3.135 0.000 0.329 0.000 0.419 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 323 286 445 0 0 0 453 0

N.S.

1 1.00 0.89 1.38 0.00 0.00 0.00 1.40 0.00

time (sec)

N/A 0.506 14.471 3.908 0.000 0.000 0.000 0.456 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 263 243 407 0 0 0 414 0

N.S.

1 1.00 0.92 1.55 0.00 0.00 0.00 1.57 0.00

time (sec)

N/A 0.409 12.192 3.134 0.000 0.000 0.000 0.457 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 199 368 504 0 0 298 0

N.S.

1 1.00 0.94 1.74 2.39 0.00 0.00 1.41 0.00

time (sec)

N/A 0.349 11.414 3.069 0.474 0.000 0.000 0.479 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 179 214 0 0 0 206 0

N.S.

1 1.00 1.20 1.44 0.00 0.00 0.00 1.38 0.00

time (sec)

N/A 0.277 11.379 3.248 0.000 0.000 0.000 0.456 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 99 70 0 85 0 111 156

N.S.

1 1.00 1.05 0.74 0.00 0.90 0.00 1.18 1.66

time (sec)

N/A 0.247 2.136 2.547 0.000 0.272 0.000 0.466 15.092

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 214 772 0 408 0 211 0

N.S.

1 1.00 1.42 5.11 0.00 2.70 0.00 1.40 0.00

time (sec)

N/A 0.259 2.265 2.938 0.000 0.329 0.000 0.514 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 305 361 0 419 0 276 0

N.S.

1 1.00 1.47 1.74 0.00 2.01 0.00 1.33 0.00

time (sec)

N/A 0.350 2.986 2.717 0.000 0.311 0.000 0.503 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 192 136 0 306 0 0 0

N.S.

1 1.00 0.78 0.56 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.436 3.577 3.035 0.000 0.327 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

174 174 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.231 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

145 145 604 0 0 0 0 0 0

N.S.

1 1.00 4.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.235 26.946 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

145 145 443 0 0 0 0 0 0

N.S.

1 1.00 3.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 13.086 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 468 0 0 0 0 0 0

N.S.

1 1.00 3.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.199 3.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 117 101 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.059 0.304 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

123 123 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.000 0.000 0.000 0.000 0.000 0.000 0.000